Parallel product of event structures

Parallel Product of Event Structures

Event Structures with Symmetry

A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched.

Hybrid Event Structures

We describe an event structure model in which issues related to continuous systems can be studied. The event structure model for hybrid system consists of a continuous component and a discrete component which interact with each other via the usual enabling and connict relations. The continuous components behave like communicating sequential agents. The discrete component can be viewed as a prim...

Random Event Structures

In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as causal sets, bifinite domains, and countable partial orders. These constructions have been shown to produce objects with the desired properties with probability 1 in an appropriately defined measure space. A common strategy for th...

Event structures with persistence

Increasingly, the style of computation is changing. Instead of one machine running a program sequentially, we have systems with many individual agents running in parallel. The need for mathematical models of such computations is therefore ever greater. There are many models of concurrent computations. Such models can, for example, provide a semantics to process calculi and thereby suggest behav...